constructive theorem

[计] 构造定理